منابع مشابه
The Java Memory Model: a Formal Explanation
This paper discusses the new Java Memory Model (JMM), introduced for Java 1.5. The JMM specifies the allowed executions of multithreaded Java programs. The new JMM fixes some security problems of the previous memory model. In addition, it gives compiler builders the possibility to apply a wide range of singlethreaded compiler optimisations (something that was nearly impossible for the old memor...
متن کاملUsing Design Explanation within Formal Object Oriented Method
This paper reports the results of an action research project which studied the benefits of documenting the evolution, and the rationale for the evolution, of a requirements specification. The benefits which design explanation offers designers (as documented in the literature) suggested an investigation with a view to understanding the potential contribution of the IBIS (Issue Based Information ...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملA Technical Explanation of Technical Explanation
This essay is meant for a reader who has attained a firm grasp of Bayes' Theorem. An introduction to Bayes' Theorem may be found in An Intuitive Explanation of Bayesian Reasoning (Yudkowsky 2003). You should easily recognize, and intuitively understand,
متن کاملExplanation Effects Override Formal Category Definitions In Clinical Experts' Diagnostic Judgments
Having a plausible life-event explanation for a person’s disordered symptoms leads clinicians to judge those symptoms to be less abnormal than if their cause was unknown (Ahn et al., 2003). Yet the American Psychiatric Association’s official Diagnostic and Statistical Manual of Mental Disorders formally states that only bereavementrelated life events should exclude a client from a diagnosis of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Structure and Dynamics: eJournal of Anthropological and Related Sciences
سال: 2008
ISSN: 1554-3374
DOI: 10.5070/sd932003302